div#toc {
  padding: 10px;
  margin: 10px;
  float: right;
  border: 1px solid;
}
